setof The built-in Prolog predicate setof(+Template, +Goal, -Set) binds Set to the list of all instances of Temp
2013-07-18
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
Q qualifier Umbrella term for adjectives and nominals or noun modifiers.
O object The object of a sentence is the noun phrase that appears after the verb in a
M Marcus parsing A parsing technique, not covered in COMP9414. mas