A ako "ako" signifies "a kind of". It acts as a relation between two types of thi
2013-07-18
unification, =, \\= When we write a goal like X = Y in Prolog, we are testing for more than simple equal..
succeed A Prolog goal succeeds if it is possible to either check it directly against the facts known to Pr
setof The built-in Prolog predicate setof(+Template, +Goal, -Set) binds Set to the list of all instances of Temp
rule A rule in Prolog is a clause, normally with one or more variables in it. Normally, rules have a head,
relations and functions in mathematics and in Prolog (If you are looking for the Prolog implementation of mathem
readability See first the articles on commenting, indentation, and white space. Code needs to be readable so that
neck the symbol :-, used in a Prolog rule to separate the head from the body. Usually read as if. Thus
listing The built-in meta-predicate listing can be used to check what is actually in the Prolog database d
infix and prefix predicates/procedures Most built-in constructs in Prolog, and, by default, the procedure
efficiency There are many ways for code to be inefficient. This article concentrates on the issue of avoiding u
comparison operators (Only some of the operators below are relevant to COMP9414 at University of New South
backtracking Backtracking is basically a form of searching. In the context of Prolog, suppose that the Prolog i
Prolog(Programming in Logic的缩写)是一种逻辑编程语言。它建立在逻辑学的理论基础之上, 最初被运用于自然语言等研究领域。 append The built-in predicate appen
T tag See part of speech tagging. &nb