Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
cogsys
Dare2Del
Demonstrator - Reasoning WebAPI
Commits
e0ee2110
Commit
e0ee2110
authored
Jun 13, 2021
by
Siebers, Michael
Browse files
fix typos
parent
5a8121f4
Changes
1
Hide whitespace changes
Inline
Side-by-side
irrelevance_common.pl
View file @
e0ee2110
...
...
@@ -25,7 +25,7 @@
* - media_type": "img": the media type of the file
*
*
* For a _directory_ the following information is avalable:
* For a _directory_ the following information is ava
i
lable:
* - abs_path (atom): the absolute path of the file
* - creation_time (integer): the time the file was created as seconds since
* epoch (1970-07-07)
...
...
@@ -59,7 +59,7 @@ directory(Item) :- theory_bg:item(Item, Dict), is_dict(Dict,directory).
%! in_directory(+Item,?Directory) is semidet.
%
% Extracts the base directory of an item. Only holds if the base directory is
%
A
lso in the background knowledge.
%
a
lso in the background knowledge.
in_directory
(
Item
,
Directory
)
:-
abs_path
(
Item
,
ItemPath
),
ItemPath
\
=
'/'
,
% Per POSIX definition '/' is in path '/'.
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment