(5). (25/20) Write a report that evaluates the language of Answer Set Prolog (ASP) using the four main criteria learned in class. Use the table below and write at least two ideas in each cell.
Criterion Pros
Cons
Readability -
- ASP is built with easy to read propositions and logic.
ASP is very logic and rule based, lacking requirements related to the language (like
Java with variables). -
- Contradictions cannot exist. They should not even be looked for when reading ASP. Reading ASP requires a solid understanding
on boolean expressions, propositions, and other discrete mathematics topics. Writability -
- ASP programs are able to work with large programs that can have several million rules defined. ASP is capable of handling domain specific knowledge, allowing it to be used to a wide variety of applications. -
- The order that statements and rules are written in can break a functional program.
In order to be an effective ASP developer, you have to have a concrete understanding of data structures and how to use terms with them. Reliability -
- When using the same solver, code will always do the same thing. Any mistakes can be changed very easily due to the logic based programming. ASP code can be executed without the need for a large compiler. These compilers are usually free, allowing scalability of projects. -
- Different implementations required different platforms. Not all platforms do the same things (DLV vs DLV-complex).
Variables are not always directly supported, rather implemented by grounding. When this technique is used, more clauses can be required. Cost - It is very easy to write - Converting an existing
- and train users to program in ASP due to logic.
Universal application allows for many easy to use compilers. Cost to maintain is very low, as changing details is very easy. - problem to be solved by ASP can be time consuming due to the amount of
propositions and rules that have to be programmed.
Programming in ASP can be an adaptation from other languages like C and Java due to a lack of main features.
