A First Order Logic for Logic Programming

J. J. Moreno Navarro and M. Rodriguez Artalejo
Additional contact information
J. J. Moreno Navarro: Universidad Politécnica de Madrid, Departamento de Algoritmica Facultad de Informática
M. Rodriguez Artalejo: Universidad Politécnica de Madrid, Departamento de Algoritmica Facultad de Informática

A chapter in Mathematical Logic and Its Applications, 1987, pp 303-314 from Springer

Abstract: Abstract Clark and Tärnlud4 have proposed a methodology for the specification, desing and verification of logic programs in the framework of first order logic. Their main idea is to derive the correctness of a logic program from its own clauses and suitable induction axioma on the data. This approach has been also advocated by Cartwright3 for the case of recursive, functional programs. He has contributed some theoretical results about the semantics of programs in nonstandard structures, using the notion of least definable fixpoint of the operator naturally associated to a given recursive program: This idea is also implicit in the independent work of Andréka, Németi and Sain1 and Hajék7 about nonstandard dynamic logic for flowchart-like programs and regular programs; see also Sain10.

Keywords: Logic Program; Order Logic; Recursive Program; Order Formula; Nonstandard Model (search for similar items in EconPapers)
Date: 1987
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-1-4613-0897-3_22

Ordering information: This item can be ordered from
http://www.springer.com/9781461308973

DOI: 10.1007/978-1-4613-0897-3_22

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().