Skip navigation links

Package edu.harvard.seas.pl.abcdatalog.util.substitution

This package contains classes that represents substitutions (i.e., mappings from variables to terms).

See: Description

Package edu.harvard.seas.pl.abcdatalog.util.substitution Description

This package contains classes that represents substitutions (i.e., mappings from variables to terms).
Skip navigation links

Copyright © 2021. All rights reserved.