A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
Model to Efficient Compilation of Patterns From Abstract PROLOG Instruction Set An Abstract PROLOG Machine-a Specification  Abstract PROLOG Machine and its Application to Partial Evaluation ...  on of an Abstract PROLOG Machine An Abstraction in Logic Programming Modularization and Abstraction in Logic Programming Modularization and Abstraction in PROLOG/KR Data Acceptability ... Illustrated by a Program for the Game of Mathematical Logic T-PROLOG A Modelling Tool Based on Mathematical Logic _s Using Programming Lan- guage PROLOG-PROLOG Based Upon Mathematical ...doi:10.1016/0743-1066(84)90025-6 fatcat:ypq2jrr3mvd3hflnp6ftrcd5vm
flexible one of similarity-based equality used in modern fuzzy-logic programming languages (such as LIKELOG and BOUSI∼PROLOG), similarity relations can be successfully treated while mathematical functions ... Now, we are concerned with the socalled Multi-Adjoint Logic Programming approach, MALP in brief, which can be seen as an enrichment of PROLOG based on weighted rules with a wide range of fuzzy connectives ... , thus producing the illusion on the final user of being working with a purely fuzzy logic programming tool. ...doi:10.15439/2014f387 dblp:conf/fedcsis/MorenoPV14 fatcat:jp6x4stuqnhfbpemd43y5ytp2e
tree based model of  by a pure tree model for Prolog. ... editors for languages defined with Montages. [ A formal semantic model of Basic SDL-92 -according to the ITU-T Recommendation Z.100 -is defined in terms of an abstract SDL machine based on the concept ...arXiv:cs/9811014v1 fatcat:w3vj5i7mzbccbcibroi7dkmhtq
Kersten et al.. describes a rule-based decision support tool. NEGOPLAN. which allows one to model the decision process of an autonomous agent in a randomly changing environment. ... NEGOPLAN has been used to model an exploratory mission of a robot collecting material on the surface of a hypothetical planet. The fourth paper, by T. ... Lirov, on the applications of logic programming in decisions and control concludes this special issue. It contains 330 items subdivided into 18 application areas. ...doi:10.1016/0898-1221(90)90107-u fatcat:plhtmqr3mzbm5plxd4bf4sxiwq
IBM Systems Journal
Second, there is a perception that Prolog is a dif- ficult language to learn and master because it is based on mathematical logic, which may be in- timidating. ... Prolog at IBM: An advanced and evolving application development technology Prolog is a powerful programming language, based on logic, that originated and matured in Europe. ...doi:10.1147/sj.314.0755 fatcat:jidyrgtlzvfihjz3pj6mum7bse
Abstraet--A bibliograph2r on applications of logic programming in decisions and control is presented. ... Prolog predicates on the aforementioned set. ... ., A LOGIC PROGRAMMING FRAMEWORK FOR PLANNING AND SIMULATION Li, Han-Lin, SOLVING DISCRETE MULTICRITERIA DECISION PROBLEMS BASED ON LOGIC-T. ...doi:10.1016/0898-1221(90)90118-4 fatcat:stbjrxrijbb3ricuz6qkhccotm
The nested interactive array language, NIAL, is introduced as a language that combines logic and functional programming capabilities. ... The capabilities and limitations of each language arc reviewed in the context of establishing the main requirements placed on artificial intelligence languages. ... It is based on the formal theory of the nested rectangular array as a mathematical data object. This theory was introduced by T. ...doi:10.1016/0898-1221(85)90049-5 fatcat:2qcdtcrokfdopnauu2gpbpwjty
language which provides strong mathematical base that can be used for modelling and verifying system requirements. ... Though, a lot of innovations have taken place in this field, there are no good mechanisms for describing and modelling smart environments in a formal manner. π -calculus, proposed by Milner is a formal ... Formal methods seems to be a promising way of modelling complex system as they can model the requirements in the form of properties by using logic based on mathematics and formally verifying the modeled ...doi:10.1016/j.procs.2015.02.158 fatcat:zdcweum3drgyll3biptu2etl7m
of our databases; the other one is a Prolog-based logical framework, which is responsible for populating the database and for logically "closing" its appropriate substructures. ... The Prolog inference system operates on a partially ordered structure with which we furnish WT, in order to answer users' yes/no questions and to provide entities of wordlets as answers to wh-questions ... ACKNOWLEDGEMENTS We are grateful to a Hungarian national fund for their contribution to our costs at ICSOFT 2013 We also express our thanks to our colleagues: Márton Károly and Judit Kleiber for their ...doi:10.5220/0004596000740078 dblp:conf/icsoft/KilianA13 fatcat:ocqnexxdn5atzfgssn5xctmhiu
Laurent Kott (Le Chesmay) 91e:68107 68Q55 03B70 68NI17 68TI15 68T25 Palamidessi, Catuscia (I-PISA-CS) On the declarative semantics of Horn clause logic-based languages. ... Efficient algorithms based on it are con- structed for synthesizing programs for computational problems in the class of the computational models in question.” 68 COMPUTER SCIENCE 91e:68106 68Q55 03B35 ...
This system has been prototyped in an objectoriented extension to Prolog. The impact that these two paradigms, logic and objects, have had on the design is discussed. ... Many tools and techniques exist for the modeling and analysis of computer and communication systems. These tools are often complex and tailored to a narrow range of problems. ... Acknowledgements The authors wish to acknowledge the contributions of Gary Rozenblat, Leana Golubchik, and Jon Edwards to the implementation of the Tangram modeling system. ...doi:10.1145/74878.74907 fatcat:gbmtj3hcujh7toavzblrsvf2ta
Theoretical issues of computer science are traditionally taught in a way that presupposes a solid mathematical background and are usually considered more or less unaccessible for students without this. ... It has been developed for a course that integrates theoretical material on computer languages and abstract machines with practical programming techniques. ... Logic circuits modelled in Prolog is a standard example used in many Prolog text books and is obvious to apply in our context due to the meta-linguistic aspects (modelling the language of logic circuits ...doi:10.1080/0899340042000302727 fatcat:zbhxh3dvtvafximdkfyjg3rrse
model-based specifications such as Z and B. ... More precisely, we present insights gained and lessons learned while implementing animators and model checkers in Prolog for various specification languages, ranging from process algebras such as CSP to ... More Related Work There are variety of relatively generic CTL model checkers, such as [31, 36, 16] . Both  and  are based on constraint logic programming. ...doi:10.1145/1389449.1389450 dblp:conf/ppdp/Leuschel08 fatcat:f55xkcbjaral7lytcr6odnmsee
Cuadrado, A truth maintenance system based on 91b:68007 stable models (pp. 274-290); Jia-Huai You and Li Wu Li, Sup- ported circumscription and its relation to logic programming with negation (pp. 291- ... Shyam Mudambi, Performance of Aurora on a switch-based multiprocessor (pp. 697-712); Péter Szeredi, Performance anal- ysis of the Aurora or-parallel Prolog system (pp. 713-732); H. ...
Despain, Semi-intelli- gent backtracking of Prolog based on static data dependency analy- sis (pp. 10-21); J. I. Glasgow, M. A. Jenkins and C. D. ... Gallier and Stan Raatz, Logic programming and graph rewriting (pp. 208-219); P. T. Cox and T. ...
« Previous Showing results 1 — 15 out of 3,781 results