The configuration is built on predicate logic. Is it complete?
No, all predicates are built-in predicates, or a logical combination of predicates. The predicate logic is roughly based on the execution model of Prolog, but without unifaction. We’re envisioning an interface which is fully build on Prolog-clauses, therefore we’re looking after an efficient and portable Prolog-interpreter to do this task.
Related Questions
- How long it takes to get the software in running condition with complete customization, data migration, configuration and training?
- How do I find the various Group and User DNs required to complete the PingConnect configuration?
- What can I do with the programmable logic device PLD configuration pins on my HardCopy device?
