Prological Features in a Functional Setting — Axioms and Implementations

Ижил төстэй зүйлс

• Prolog's Control Constructs in a Functional Setting — Axioms and Implementation
  -н: Hinze, R
  Хэвлэсэн: (2001)
• Turbo Prolog : features for programmers /
  -н: 453447 Nath, Sanjiva
  Хэвлэсэн: (1986)
• Prolog /
  -н: Giannesini, Francis
  Хэвлэсэн: (1986)
• The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory/
  -н: 330777 Godel, Kurt
  Хэвлэсэн: (1940)
• Introduction to prolog
  -н: 217274 Suri, R. P.
  Хэвлэсэн: (2007)