Logic Programming and Functional Nets.
Alan Mycroft · 2000
. In general, programming languages and paradigms have each been associated with their own underlying calculus. Thus functional programming has -calculus, logic programming has inference systems and concurrent programming has various calculi: Petri nets, -calculus, CCS, theoretical CSP and the like. Odersky recently showed how a development \\Functional Nets" of the Join-calculus can express ideas from Functional, Concurrent and Object-Oriented languages within a single framework in a manner which allows constructs from these disparate languages to interact. Here we examine how logic programming concepts t into this framework. 1 Introduction In general, programming languages and paradigms have each been associated with their own underlying calculus. Thus functional programming has -calculus, logic programming has inference systems and concurrent programming has various calculi: Petri nets, -calculus, CCS, theoretical CSP and the like. Odersky recently showed how a devel...