Logic program forms

DOI10.1007/BF03037409MaRDI QIDQ1822224zbMATH OpenOpenAlexFDO

Authors Takashi Yokomori

Publication date 1986

Published in New Generation Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf03037409

zbMATH Keywords

recursively enumerable languageanalogical reasoningprogram abstractionlogic program formskeleton of a program

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Formal languages and automata (68Q45) Artificial intelligence (68T99)

Recommendations

• Publication:3769992
• Publication:3804231
• Publication:3028367
• A logical foundation for logic programming II: Semantics of general logic programs
• Publication:3823786

Cites work

• scientific article; zbMATH DE number 4016224 (Why is no real title available?)
• scientific article; zbMATH DE number 3466489 (Why is no real title available?)
• scientific article; zbMATH DE number 3639163 (Why is no real title available?)
• scientific article; zbMATH DE number 3640922 (Why is no real title available?)
• A Transformation System for Developing Recursive Programs
• Context-free grammar forms
• Horn clause computability
• The Semantics of Predicate Logic as a Programming Language

Cited in

(6)

• scientific article; zbMATH DE number 5347850 (Why is no real title available?)
• Process logic with regular formulas
• The theory of form logic
• Logical forms, substitutions and information types
• scientific article; zbMATH DE number 4139316 (Why is no real title available?)
• scientific article; zbMATH DE number 4028939 (Why is no real title available?)

This page was built for publication: Logic program forms

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