Prolog Basics (Kartei)

16 Karteikarten

• 1
  Terms

  All forms of Prolog data. Terms are build of ... - atoms - ...
• 2
  atoms

  - can be composed of all character values as long as they ...
• 3
  variables

  - represented by a series of letters, numbers and the ...
• 4
  anonymous variable

  - single underscore character - placeholder for a ...
• 5
  structures

  - determined by its name and its arguments: name(arg1, ...
• 6
  lists

  -indicated by squared brackets - elements are separated ...
• 7
  low-level list representation

  - you can think of a list as a nested structure of arity ...
• 8
  operators

  - + / ∗ − ... - it is possible to write 3 + 4 rather ...
• 9
  tuples

  - you can form tuples out of Prolog terms Example: (a, ...
• 10
  What is unification?

  - Prolog proves goals by unifying patterns of a query with ...
• 11
  How does unification work?

  # two atoms unify if they are the same # two numbers unify ...
• 12
  clause

  - a structure of the form: head :− body. - the head is a ...
• 13
  not(not(Goal))

  Succeeds if Goal can be proved, but not does not unify any ...
• 14
  Natural Language to Prolog

  # Transfrom NL to PL1 # Rename variables to make them ...
• 15
  There is exactly one X such that p(X)

  http://www.mindpicnic.de/media/img/user/andreas-15871-bild2. ...
• 16
  There are exactly n X such that p(X)

  http://www.mindpicnic.de/media/img/user/andreas-30599-bild4. ...