prolog
Prolog(Programming in Logic的缩写)是一种逻辑编程语言。
cs6364 Assignment3 - 2019 Spring rev5
COMP 3007 - Assignment #2
First-Order Logic
knowledge presentation
CMT304 Programming Paradigms
Logic Programming
BEX2500 – Critical Thinking: Effective Analysis, Reasoning and Argument Essay
CSU33061 Artificial Intelligence 1