Logic programming and rapid prototyping

DOI10.1016/0167-6423(87)90032-3MaRDI QIDQ1091109zbMATH OpenOpenAlexFDO

Authors Henryk Jan Komorowski, Jan Maluszyński

Publication date 1987

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0167-6423(87)90032-3

zbMATH Keywords

validationPrologspecificationsdirectly executable prototypelogic programming systemrapid software prototypingsemantic network browserstructure-editor

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of software (68N99)

Recommendations

• Rapid prototyping of large multi-agent systems through logic programming
• scientific article; zbMATH DE number 3940699
• scientific article; zbMATH DE number 192840
• scientific article; zbMATH DE number 4106296
• scientific article; zbMATH DE number 48465

Cited in

(4)

• Logic programming with external procedures: Introducing S-unification
• Synthesis of logic programs from object-oriented formal specifications
• scientific article; zbMATH DE number 2090544 (Why is no real title available?)
• Rapid prototyping of large multi-agent systems through logic programming

This page was built for publication: Logic programming and rapid prototyping

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