Declarative programming of integrated peer-to-peer and Web based systems: the case of Prolog-Reference-Cited by-同舟云学术

Declarative programming of integrated peer-to-peer and Web based systems: the case of Prolog

Published:2006-04 Issue:4 Volume:79 Page:523-536
ISSN:0164-1212
Container-title:Journal of Systems and Software
language:en
Short-container-title:Journal of Systems and Software

Author:

Loke Seng W.

Publisher

Elsevier BV

Subject

Hardware and Architecture,Information Systems,Software

Reference21 articles.

1. Brogi, A., 1993. Program construction in computational logic. Ph.D. thesis, University of Pisa.

2. Ciancarini, P., Levi, G., 1995. Applications of Logic Programming in Software Engineering. In: PAP Workshop on LP and SE. Paris, France, available at .

3. Logic programming languages for the Internet;Davison,2002

4. Davison, A., Loke, S., April 1999. A concurrent logic programming model of the Web. In: PACLP’99: The 7th Int. Conf. and Exhibition on the Practical Application of Constraints and Logic Programming.

5. Garland, S., Guttag, J., Horning, J., July 1993. An overview of larch. In: Lauer, P. (Ed.), Functional Programming, Concurrency, Simulation and Automated Reasoning. pp. 329–348, available at .

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A knowledge-based approach to multiplayer games in peer-to-peer networks;Knowledge and Information Systems;2018-12-12

2. Notification-Oriented Programming Language and Compiler;2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC);2017-11

3. Notification-Oriented and Rete Network Inference: A Comparative Study;2015 IEEE International Conference on Systems, Man, and Cybernetics;2015-10

4. LogicCrowd: A Declarative Programming Platform for Mobile Crowdsourcing;2013 12th IEEE International Conference on Trust, Security and Privacy in Computing and Communications;2013-07

5. Rule-Based Distributed and Agent Systems;Rule-Based Reasoning, Programming, and Applications;2011