Abstract

First-order theories for pure Prolog programs with negation

Full Text
Paper version not known

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Similar Papers

Paper Title
Journal
Date
Author
Explanation-based reuse of prolog programs
Yasuyuki Koga ... Eiju Hirowatari
-
Yasuyuki Koga, et. al.Yasuyuki Koga ... Eiju Hirowatari
01 Jan 1993
First-order theories for pure Prolog programs with negation
Robert F Stärk
Archive for Mathematical Logic | VOL. 34
Robert F StärkRobert F Stärk
01 Mar 1995
Justifying control for logic programs
Birgit Elbl
Electronic Notes in Theoretical Computer Science | VOL. 35
Birgit ElblBirgit Elbl
01 Jan 1999
A transformation tool for pure Prolog programs
Jacob Brunekreef
-
Jacob BrunekreefJacob Brunekreef
01 Jan 1997
View more papers

More From: Archive for Mathematical Logic

Paper Title
Journal
Date
Author
On some $$\Sigma ^{B}_{0}$$-formulae generalizing counting principles over $$V^{0}$$
Eitetsu Ken
Archive for Mathematical Logic | VOL. -
Eitetsu KenEitetsu Ken
22 Jul 2024
On absorption’s formula definable semigroups of complete theories
Mahsut Bekenov ... Anvar Nurakunov
Archive for Mathematical Logic | VOL. -
Mahsut Bekenov, et. al.Mahsut Bekenov ... Anvar Nurakunov
20 Jul 2024
Intuitionistic sets and numbers: small set theory and Heyting arithmetic
Stewart Shapiro ... Charles Mccarty
Archive for Mathematical Logic | VOL. -
Stewart Shapiro, et. al.Stewart Shapiro ... Charles Mccarty
18 Jun 2024
The Tarski–Lindenbaum algebra of the class of strongly constructivizable models with $$\omega $$-stable theories
Mikhail Peretyat’Kin
Archive for Mathematical Logic | VOL. -
Mikhail Peretyat’KinMikhail Peretyat’Kin
08 Jun 2024
View more papers