Noeud: Miscellaneous, Noeud « Previous »: Definite Clause Grammars, Noeud « Up »: Built-In Predicates
?X =
?Y
Z=Z.
; i.e. X and Y are
unified.
length(
?List,
?Length)
If List is of indeterminate length and Length is instantiated to an integer, then List will be unified with a list of length Length. The list elements are unique variables.
If Length is unbound then Length will be unified with all
possible lengths of List.
copy_term(
?Term,
?CopyOfTerm)
argv(
?Args)
-a
option on the command line.
cd
shell(
+Command,
-Status)
$SHELL
for execution. Unify Status with the
returned status of Command.
system(
+Command,
-Status)
sh
process for execution. Unify
Status with the returned status of Command.
mktemp(
+Template,
-FileName)
mktemp(3)
. A unique file name is
created and unified with FileName. Template should contain
a file name with six trailing Xs. The file name is that template
with the six Xs replaced with a letter and the process id.
access(
+Path,
+Mode)
access(2)
.
getwd(
?Path)
getenv(
+Name,
?Value)
gensym(
-Id)
domain(
x?X,
+List)
member/2
.