FogBrain

Interactive Docs

These docs are live and interactive. All Prolog predicates of the GitHub repository of FogBrain are described and you can try them over small editable examples excerpted from our QuickStart tutorial.

Predicates

Here is the list of documented predicates.

FogBrain

• - fogBrain/2

Placement

• - placement/2
• - placement/7
• - servicePlacement/4
• - thingReqsOK/2
• - swReqsOK/2
• - hwReqsOK/5
• - flowOK/5
• - interested/7
• - serviceFlowOK/3
• - bwOK/6

Reasoning

TBA