MULTILISP: a language for concurrent symbolic computation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Object-oriented concurrent programming ABCL/1
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Metaclasses are first class: The ObjVlisp Model
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)
Using histories to implement atomic objects
ACM Transactions on Computer Systems (TOCS)
Logic Java: combining object-oriented and logic programming
WFLP'11 Proceedings of the 20th international conference on Functional and constraint logic programming
| Hi-index | 0.00 |
The ObjVProlog-D programming language extends logic programming with concepts of object-oriented and distributed programming, providing a semantically complete and coherent model inspired by ObjV-Lisp where metaclasses are treated as first-class entities. It is based on concurrent logic objects interacting through remote logic method calls. It preserves the Prolog don't know nondeterminism by implementing distributed backtracking to search for all solutions to goals. It uses asynchronous messages for communication and future logic variables for synchronization. Furthermore, its metaclass and reflexive features improve significantly the use of widespread metaprogramming techniques. ObjVProlog-D is implemented in Quintus Prolog and distributed applications have run on a network of workstations.