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 ↑ NCL(ID:5483/ncl002)Network prologalternate simple viewCountry: 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 computation. - 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." References: Resources Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE  ACM portal CiteSeer CSB ncstrl jstor Bookfinder |