Encoding reach.lparse

Name	reach.lparse
Class Tree	[Root] Unclassified (114) Reachability (5) 3D ASP Competition (1)
Submitter	Martin Gebser
Author	Giorgio Terracina
Description	lparse encoding by Giorgio Terracina
Created	2009-03-30 13:03
Modified	2009-03-12 20:46
Languages	lparse
Language Features
Compatible Instance Classes	Reachability
Input Predicates	edge/2
Output Predicates	reachable/2
Encoding Parameter
Standalone	No
Tags
Attributes
Content	%% Author: Giorgio Terracina reachable(X,Y):-edge(X,Y). reachable(X,Y):-edge(X,Z),reachable(Z,Y),node(Y). node(Y):-edge(X,Y). node(Y):-edge(Y,X). compute all {reachable(10380, 10189)}.

Actions