H ? « »

Language peer sets for NCL:
United States
United States/1990
Designed 1990
1990s languages
Fifth generation
Post-Cold War
Experimental and other
Experimental and other/1990
Experimental and other/us


Network prolog 

alternate simple view
Country: United States
Designed 1990
Sammet category: Experimental and other

for Net-Clause Language

Network (as in graph, not protocol) aware Prolog

from Markov (1993)
"NCL is aimed at describing distributed computation models using term unification as a basic processing and control mechanism. NCL is embedded in standard Prolog and comprises two parts, which can communicate each to other and to standard Prolog programs through the unified representation of terms, the unification procedure and the database mechanism provided by Prolog

A net-clause is a special domain in the database defining a network of nodes and links. The nodes are represented by Prolog compound terms. The variables occurring within the nodes are global logical variables, which can be shared within the scope of the net-clause thus playing the role
of network links. The net-clause nodes define local conditions for unification of terms or execution of Prolog goals. Thus two basic mechanisms are implemented:

- Spreading activation. This is a distributed computation scheme
   similar to the connectionist spreading activation or to the marker
   passing mechanism in SN's. In the framework of logic programming it
   is seen as a restricted (without recursion) forward chaining

- Default mechanism similar to the Reiter's default assignment to
   variables. The basic idea is to use variables to propagate terms
   without being bound to them, thus implementing the non-monotonicity
   of default reasoning."

  • Markov, Zdravko Christo Dichev and Lydia Sinapova (1990) Markov, Zdravko Christo Dichev and Lydia Sinapova "The net-clause language—a tool for describing network models" Proceedings of the eighth biennial conference of the Canadian Society for Computational Studies of Intelligence on CSCSI-90, 1990, University of Ottawa, Ottawa, Canada
  • Markov, Zdravko (1991) Markov, Zdravko "A Tool for Building Connectionist-like Networks Based on Term Unification" Proceedings of the International Workshop on Processing Declarative Knowledge 1991
  • Markov, Zdravko (1991) Markov, Zdravko "An approach to data-driven learning" Proceedings of the International Workshop on Fundamentals of Artificial Intelligence Research 1991
  • Markov, Zdravko and Christo Dichev (1991) Markov, Zdravko and Christo Dichev "The net-clause language—a tool for data-driven inference" Proceedings of the European workshop on Logics in AI 1991, Amsterdam, The Netherlands
  • Markov, Zdravko (1992) Markov, Zdravko "An approach to concept learning based on term generalization" Proceedings of the Ninth International Workshop on Machine Learning 1992 , Aberdeen, Scotland, United Kingdom
  • Markov, Zdravko (1993) Markov, Zdravko "NET-CLAUSE LANGUAGE (NCL)" Bulgarian Academy of Sciences 1993 Extract: Description
  • (1995) Zdravko Markov Manual for NCL U of Georgia 1995 Abstract
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder