io.github.prolobjectlink.prolog

Interface PrologClauses

All Superinterfaces:

Collection<PrologClause>, Iterable<PrologClause>, List<PrologClause>

public interface PrologClauses
extends List<PrologClause>

Clause family list that join all clauses with same functor/arity based indicator. Support all List operations to manage clauses in the family list.

Since:

1.0

Author:

Jose Zalacain

Method Summary

Modifier and Type	Method and Description
String	getIndicator() Clause family functor/arity based indicator.
boolean	isDiscontiguous() Deprecated. Natives engine don't offer information about that.
boolean	isDynamic() Deprecated. Natives engine don't offer information about that.
boolean	isMultifile() Deprecated. Natives engine don't offer information about that.

Methods inherited from interface java.util.List

add, add, addAll, addAll, clear, contains, containsAll, equals, get, hashCode, indexOf, isEmpty, iterator, lastIndexOf, listIterator, listIterator, remove, remove, removeAll, replaceAll, retainAll, set, size, sort, spliterator, subList, toArray, toArray

Methods inherited from interface java.util.Collection

parallelStream, removeIf, stream

Methods inherited from interface java.lang.Iterable

forEach

Method Detail

isDynamic

@Deprecated
boolean isDynamic()

Deprecated. Natives engine don't offer information about that.

True if this clause family list is a dynamic, false in other case

Returns:

whether this clause family list is a dynamic

Since:

1.0

isMultifile

@Deprecated
boolean isMultifile()

Deprecated. Natives engine don't offer information about that.

True if this clause family list is a multifile, false in other case

Returns:

whether this clause family list is a multifile

Since:

1.0

isDiscontiguous

@Deprecated
boolean isDiscontiguous()

Deprecated. Natives engine don't offer information about that.

True if this clause family list is a discontiguos, false in other case

Returns:

whether this clause family list is a discontiguos.

Since:

1.0

getIndicator

String getIndicator()

Clause family functor/arity based indicator. The clause family indicator is the same indicator for all clauses head in the clause family.

Returns:

functor/arity based indicator of the current clause family.

Since:

1.0