io.github.prolobjectlink.prolog

Interface PrologProgram

All Superinterfaces:

Iterable<PrologClauses>, Map<String,PrologClauses>

All Known Implementing Classes:

AbstractProgram

public interface PrologProgram
extends Map<String,PrologClauses>, Iterable<PrologClauses>

Since:

1.0

Author:

Jose Zalacain

Nested Class Summary

Nested classes/interfaces inherited from interface java.util.Map

Map.Entry<K,V>

Method Summary

Modifier and Type	Method and Description
void	add(PrologClause clause)
void	add(PrologClauses clauses)
void	add(PrologProgram program)
void	addAll(PrologProgram program)
PrologClauses	get(String functor, int arity)
Map<String,PrologClauses>	getClauses()
Set<String>	getIndicators()
boolean	isDiscontiguous(String functor, int arity)
boolean	isDynamic(String functor, int arity)
boolean	isMultifile(String functor, int arity)
void	markDiscontiguous(String functor, int arity)
void	markDynamic(String functor, int arity)
void	markMultifile(String functor, int arity)
PrologClauses	newClauses(String functor, int arity)
void	push(PrologClause clause)
boolean	removeAll(PrologClauses clauses)
boolean	removeAll(PrologProgram program)
void	removeAll(String functor, int arity)
boolean	retainAll(PrologClauses parents)
Object[]	toArray()
Object[]	toArray(PrologClauses[] prologClauses)
void	unmarkDiscontiguous(String functor, int arity)
void	unmarkDynamic(String functor, int arity)
void	unmarkMultifile(String functor, int arity)

Methods inherited from interface java.util.Map

clear, compute, computeIfAbsent, computeIfPresent, containsKey, containsValue, entrySet, equals, forEach, get, getOrDefault, hashCode, isEmpty, keySet, merge, put, putAll, putIfAbsent, remove, remove, replace, replace, replaceAll, size, values

Methods inherited from interface java.lang.Iterable

forEach, iterator, spliterator

Method Detail

get

PrologClauses get(String functor,
                  int arity)

add

void add(PrologClause clause)

add

void add(PrologProgram program)

push

void push(PrologClause clause)

removeAll

void removeAll(String functor,
               int arity)

markDynamic

void markDynamic(String functor,
                 int arity)

unmarkDynamic

void unmarkDynamic(String functor,
                   int arity)

isDynamic

boolean isDynamic(String functor,
                  int arity)

markMultifile

void markMultifile(String functor,
                   int arity)

unmarkMultifile

void unmarkMultifile(String functor,
                     int arity)

isMultifile

boolean isMultifile(String functor,
                    int arity)

markDiscontiguous

void markDiscontiguous(String functor,
                       int arity)

unmarkDiscontiguous

void unmarkDiscontiguous(String functor,
                         int arity)

isDiscontiguous

boolean isDiscontiguous(String functor,
                        int arity)

newClauses

PrologClauses newClauses(String functor,
                         int arity)

removeAll

boolean removeAll(PrologProgram program)

removeAll

boolean removeAll(PrologClauses clauses)

getClauses

Map<String,PrologClauses> getClauses()

getIndicators

Set<String> getIndicators()

add

void add(PrologClauses clauses)

addAll

void addAll(PrologProgram program)

retainAll

boolean retainAll(PrologClauses parents)

toArray

Object[] toArray(PrologClauses[] prologClauses)

toArray

Object[] toArray()