From PROLOG++ to PROLOG+CG: A CG Object-Oriented Logic Programming Language-Reference-Cited by-同舟云学术

From PROLOG++ to PROLOG+CG: A CG Object-Oriented Logic Programming Language

Published:2000 Issue: Volume: Page:540-554
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Kabbaj Adil,Janta-Polczynski Martin

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/10722280_37

Reference18 articles.

1. Ait-Kaci, H., Nasr, R.: LOGIN: A logic programming language with built-in inheritance. Journal Logic Programming 3, 185–215 (1986)

2. Ait-Kaci, H., Podelski, A.: Logic programming with functions over order-sorted feature terms. In: Lamma, E., Mello, P. (eds.) Extensions of Logic Programming, pp. 100–119. Springer, Heidelberg (1992)

3. Carpenter, B.: The logic of typed feature structures. Cambridge Univ. Press, Cambridge (1992)

4. Dichev, C.: Distributed knowledge and data processing. In: Proceeding of ICO 1993, Montreal, Canada, pp. 279–282 (1993)

5. Dichev, C.: Logic programming with worlds, in AI: Methodology, Systems, Applications, pp. 57–67. North-Holland, Amsterdam (1992)

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

1. The Use of E-learning Tools and Log Data in a Course on Basic Logic;Lecture Notes in Computer Science;2020

2. Teaching Propositional and Syllogistic Logic Using E-learning Tools;Lecture Notes in Computer Science;2019

3. Teaching Syllogistics Using E-learning Tools;Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering;2016-11-13

4. Tools for Building a Temporal Knowledge Base System Supporting Organizational Creativity;Procedia Computer Science;2015

5. Teaching Syllogistics Through Gamification and Interactive Proofs;Design for Teaching and Learning in a Networked World;2015