scientific article; zbMATH DE number 1746028

MaRDI QIDQ4531974zbMATH OpenFDO

Authors Milan Fico

Publication date 27 May 2002

zbMATH Keywords

acyclic digraphconnectednessoptimal register allocationProlog clause

Mathematics Subject Classification ID

Directed graphs (digraphs), tournaments (05C20) Graph theory (including graph drawing) in computer science (68R10) Combinatorial optimization (90C27)

Recommendations

• A logical reconstruction of Prolog II
• scientific article; zbMATH DE number 1354108
• Towards a logical semantics for pure Prolog
• Clausal logic and logic programming in algebraic domains
• On the declarative and procedural semantics of logic programs
• A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules
• Some results and experiments in programming techniques for propositional logic
• Register allocation: A program-algebraic approach
• On computational complexity of Prolog programs
• scientific article; zbMATH DE number 3858391

Cited in

(2)

• Automata-driven indexing of prolog clauses
• Some global optimizations for a PROLOG compiler

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4531974)