Prolog Program Transformations and Meta-Interpreters

1992 ◽  
pp. 238-251 ◽  
Author(s):  
Anne Parrain ◽  
Philippe Devienne ◽  
Patrick Lebegue
Keyword(s):  
Program Transformations ◽  
Prolog Program

scholarly journals Logic + control: On program construction and verification

2017 ◽  
Vol 18 (1) ◽  
pp. 1-29
Author(s):  
WŁODZIMIERZ DRABENT
Keyword(s):  
Logic Program ◽  
Practical Importance ◽  
Operational Semantics ◽  
Program Transformations ◽  
Logic Programs ◽  
Formal Reasoning ◽  
Prolog Program ◽  
Logic Control ◽  
Sat Solver ◽  
Program Construction

AbstractThis paper presents an example of formal reasoning about the semantics of a Prolog program of practical importance (the SAT solver of Howe and King). The program is treated as a definite clause logic program with added control. The logic program is constructed by means of stepwise refinement, hand in hand with its correctness and completeness proofs. The proofs are declarative – they do not refer to any operational semantics. Each step of the logic program construction follows a systematic approach to constructing programs which are provably correct and complete. We also prove that correctness and completeness of the logic program is preserved in the final Prolog program. Additionally, we prove termination, occur-check freedom and non-floundering.Our example shows how dealing with “logic” and with “control” can be separated. Most of the proofs can be done at the “logic” level, abstracting from any operational semantics.The example employs approximate specifications; they are crucial in simplifying reasoning about logic programs. It also shows that the paradigm of semantics-preserving program transformations may be not sufficient. We suggest considering transformations which preserve correctness and completeness with respect to an approximate specification.

scholarly journals On the generalizability of Neural Program Models with respect to semantic-preserving program transformations

2021 ◽  
pp. 106552
Author(s):  
Md Rafiqul Islam Rabin ◽  
Nghi D.Q. Bui ◽  
Ke Wang ◽  
Yijun Yu ◽  
Lingxiao Jiang ◽  
...  
Keyword(s):  
Program Transformations

A PROLOG program for the generation of molecular formulas

1990 ◽  
Vol 67 (3) ◽  
pp. 234 ◽  
Author(s):  
B. Mendez ◽  
J. A. Moreno
Keyword(s):  
Prolog Program

Generation of visitor components that implement program transformations

2001 ◽  
Vol 26 (3) ◽  
pp. 86-94
Author(s):  
R. E. Kurt Stirewalt ◽  
Laura K. Dillon
Keyword(s):  
Program Transformations

scholarly journals Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus

2008 ◽  
pp. 59-77 ◽  
Author(s):  
Luís Cruz-Filipe ◽  
Ivan Lanese ◽  
Francisco Martins ◽  
António Ravara ◽  
Vasco T. Vasconcelos
Keyword(s):  
Program Transformations ◽  
Work Program ◽  
Behavioural Theory
Sign in / Sign up

Export Citation Format

Share Document