Prolog, Software Engineering

package(''python'', ''2.6.5'').
package(''python'', ''2.5.4'').
package(''python'', ''1.5.2'').
package(''python'', ''3.1.0'').
and I already have these functions that provide me:

?- split_version(''2.13.17'', List).
List = [''2'', ''13'', ''17''].

integer_list([''2'', ''13'', ''17''], IntList).
IntList = [2, 13, 17].

?- cmp_list([2,3,4], [2,3,5], C).
C = lt ;
C = le .
I have to write a code to satisfy this function:

satisfies_req(''python'', ''3'', le, V).
V = ''2.6.5'' ;
V = ''2.5.4'' ;
V = ''1.5.2'' .
Posted Date: 7/30/2012 11:41:50 PM | Location : United States







Related Discussions:- Prolog, Assignment Help, Ask Question on Prolog, Get Answer, Expert's Help, Prolog Discussions

Write discussion on Prolog
Your posts are moderated
Related Questions
Checks the interfaces among program elements for consistency and adherence to predefined axioms or rules.

System flowcharts System flowcharts are used to demonstrate how all the components in a system link together (for example input, storage, output, processing etc.). They are ver

Identify the type of cohesion in the following statements: 1. Compute average daily temperatures at various sites 2. Initialize sums and open files 3. Create new temperature recor

Q. Design black box test suits for a function that checks whether a character or string upto ten characters in a palindrome? Ans Following may be the test cases: - Try wit

what is software process model and waterfall model?

What is Queue management sysyem? literature review of Queue management system

What is software maintenance? Software maintenance is a set actions in which program are customized after it has been put into use. COCOMO model :- COnstructive COst MOd

Question: (a) Shneiderman's eight golden rules for dialogue design are (1) strive for consistency, (2) enable frequent users to use shortcuts, (3) give informative feedback,

Provide an abstract superclass called EnergyRecord and subclasses called Contract and Transaction with default constructors (no-arg) and full-arg, overloaded constructors. Collect