- Organisation:
- Produktion
- Wissen:
- Coding Conventions
- Notes
- Daten
Software Engineering for Smart Data Analytics & Smart Data Analytics for Software Engineering
ast_node
, ast_node_type
yellow(B)
, connected(A, B)
follows(A, B)
, knows(Person, Theory)
. Use plural only if the predicate says something about more than one thing, e.g. about a list. include(List, Sublist)
but includes(List, Element)
dependency(A, B)
ast_node_
, ast_node_type_
:- dynamic dyn_pred/1.
check_statements(Pred, Statements)
check_statements(Pred, []). check_statements(Pred, [Head|Tail]) :- check_statement(Pred,Head), check_statements(Tail). check_statement(Pred,Head) :- ...
_aVeryLongVarName
, AnotherVeryLongName
for things to include in Prologdoc and
or % …
comments for commenting out code or adding implementation comments.mortal(X) :- alive(X). example_with_long_parameter_list :- findall( X, (long(Z,X), conjunction(X), of(X,Y), predicates(X)), Result ), next_predicate(Result).
mortal(X):-alive(X). example_with_long_parameter_list :- findall( X, (long(Z,X), conjunction(X), of(X,Y), predicates(X)),Result), next_predicate(Result).