GitHub

#A Web Application Validation Platform Using Logical Reasoning

###This project is to provide a web application validation platform using logical reasoning.

###HTML and CSS files are semi-structured patterns, and can be translated into reasoning or statement rules in Prolog.

###This project managed to translate static web pages into rules, including basic inheritant relations, CSS prediction, image mapping.

Name		Name	Last commit message	Last commit date
Latest commit History 6 Commits
back_up_resource		back_up_resource
image_tool		image_tool
test_suites		test_suites
README.md		README.md
css.pl		css.pl
css_parser.py		css_parser.py
css_parser.py~		css_parser.py~
html.pl		html.pl
imageprocess.py		imageprocess.py
imageprocess.py~		imageprocess.py~
img.pl		img.pl
img.pl~		img.pl~
img_infer.pl~		img_infer.pl~
imgpropext.pl		imgpropext.pl
imgpropext.pl~		imgpropext.pl~
parser.py		parser.py
parser.py~		parser.py~
region		region
region~		region~
rule.pl		rule.pl
rule.pl~		rule.pl~
screenshot.png		screenshot.png
tagging.py		tagging.py
tagging.py~		tagging.py~
test_verification.pl		test_verification.pl
test_verification.pl~		test_verification.pl~

ichiYuan/512project