Prolog, Software Engineering

Assignment Help:
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'' .

Related Discussions:- Prolog

Development phases of the detailed cocomo model, Q. Explain the development...

Q. Explain the development phases of the detailed COCOMO model. Ans A software development is performed in four successive phases which are as follows 1 : plan/requirement

Write about drivers and stubs, Write about drivers and stubs. Drivers a...

Write about drivers and stubs. Drivers and stub software require to be developed to test incompatible software. The " driver" is a program that accepts the test data and pri

What is open box testing, Open box testing is similar as white box testing....

Open box testing is similar as white box testing. It's a testing approach that consider the application's program structure, and derives test cases from the application's program l

What is bottom-up strategy, Bottom-up approach, as the name suggests, is th...

Bottom-up approach, as the name suggests, is the differing of the Top-down method. This process begins with building and testing the low level modules first, working its way up

Discuss in detail about structural modeling, Discuss in detail about Struct...

Discuss in detail about Structural Modeling. Structural model includes a detail refinement of ERD, data flow model and control flow model. Creating an ERD. For example

What is verification, Q. What is verification? Ans. Verification is...

Q. What is verification? Ans. Verification is the procedure of determining whether the output of one phase of software development conforms to that of its previous phase wh

In how many types requirements have been classified, In how many types requ...

In how many types requirements have been classified Requirements are classified in the below two types: i)  Functional requirements: They define the factors such as I/O fo

What does a usecase diagram represent, Problem : (a) What does a UseCas...

Problem : (a) What does a UseCase Diagram represent? (b) Draw a UseCase Diagram for the above case study. (c) For any one use case give a detail use case specification.

Applied physics, an isolated metal sphere has a radius r. when charged to a...

an isolated metal sphere has a radius r. when charged to a potential v, the charge on sphere is q. 1- state an expression, in terms of r and q, for potential v of sphere.

Write Your Message!

Captcha
Free Assignment Quote

Assured A++ Grade

Get guaranteed satisfaction & time on delivery in every assignment order you paid with us! We ensure premium quality solution document along with free turntin report!

All rights reserved! Copyrights ©2019-2020 ExpertsMind IT Educational Pvt Ltd