𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Forum as a Logic Programming Language: Preliminary Report

✍ Scribed by Joshua S. Hodas; Jeffrey Polakow

Publisher
Elsevier Science
Year
1996
Tongue
English
Weight
683 KB
Volume
3
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

LUPSβ€”A language for updating logic progr
LUPSβ€”A language for updating logic programs
✍ JosΓ© JΓΊlio Alferes; Luı́s Moniz Pereira; Halina Przymusinska; Teodor C. Przymusi πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 229 KB

Most of the work conducted so far in the field of logic programming has focused on representing static knowledge, i.e., knowledge that does not evolve with time. To overcome this limitation, in a recent paper, the authors introduced dynamic logic programming. There, they studied and defined the decl

Oriented equational clauses as a program
Oriented equational clauses as a programming language
✍ Laurent Fribourg πŸ“‚ Article πŸ“… 1984 πŸ› Elsevier Science 🌐 English βš– 844 KB

In the #Prolog language, Horn clauses of first-order logic are regarded as programs, and the resolution procedure is used as an interpreter. In this paper, we present the formalism of Horn oriented equational clauses (Horn clauses with a rewrite rule as the head part, and a list of equations as the