Skip navigation links

Package edu.harvard.seas.pl.abcdatalog.ast.validation

This package contains classes to check that a clause or a set of clauses (such as those parsed from user input) are valid (i.e., can be successfully evaluated).

See: Description

Package edu.harvard.seas.pl.abcdatalog.ast.validation Description

This package contains classes to check that a clause or a set of clauses (such as those parsed from user input) are valid (i.e., can be successfully evaluated).
Skip navigation links

Copyright © 2021. All rights reserved.