pet(bichon_frise_dog).
pet(collie_dog).
pet(himalayan_cat).
pet(parot).
pet(canary).
pet(goldfish).
pet(rainbow_fish).
pet(lionfish).
pet(horse).
pet(miniture_pony).
pet(flemish_giant_rabbit).
pet(tortoise).
pet(rat).
pet(mouse).
pet(boa_constrictor).
pet(tree_frog).
pet(gecko).
pet(monkey).
pet(guinea_pig).
pet(hampster).
pet(gerbil).
pet(ferret).
pet(tarantula).

lives_at(bichon_frise_dog, country).
lives_at(bichon_frise_dog, city).
lives_at(collie_dog, country).
lives_at(collie_dog, city).
lives_at(himalayan_cat, country).
lives_at(himalayan_cat, city).
lives_at(parot, country).
lives_at(parot, city).
lives_at(canary, country).
lives_at(canary, city).
lives_at(goldfish, country).
lives_at(goldfish, city).
lives_at(rainbow_fish, country).
lives_at(rainbow_fish, city).
lives_at(lionfish, country).
lives_at(lionfish, city).
lives_at(horse, country).
lives_at(miniture_pony, country).
lives_at(flemish_giant_rabbit, country).
lives_at(tortoise, country).
lives_at(tortoise, city).
lives_at(rat, country).
lives_at(rat, city).
lives_at(mouse, country).
lives_at(mouse, city).
lives_at(boa_constrictor, country).
lives_at(boa_constrictor, city).
lives_at(tree_frog, country).
lives_at(tree_frog, city).
lives_at(gecko, country).
lives_at(gecko, city).
lives_at(monkey, country).
lives_at(monkey, city).
lives_at(guinea_pig, country).
lives_at(guinea_pig, city).
lives_at(hampster, country).
lives_at(hampster, city).
lives_at(gerbil, country).
lives_at(gerbil, city).
lives_at(ferret, country).
lives_at(ferret, city).
lives_at(tarantula, country).
lives_at(tarantula, city).

purchase_price(gecko, cheap).
purchase_price(guinea_pig, cheap).
purchase_price(hampster, cheap).
purchase_price(rat, cheap).
purchase_price(mouse, cheap).
purchase_price(goldfish, cheap).
purchase_price(tortoise, cheap).
purchase_price(canary, cheap).
purchase_price(ferret, moderate).
purchase_price(gerbil, moderate).
purchase_price(lionfish, moderate).
purchase_price(tree_frog, moderate).
purchase_price(collie_dog, moderate).
purchase_price(parot, moderate).
purchase_price(flemish_giant_rabbit, moderate).
purchase_price(tarantula, expensive).
purchase_price(boa_constrictor, expensive).
purchase_price(bichon_frise_dog, expensive).
purchase_price(rainbow_fish, expensive).
purchase_price(himalayan_cat, expensive).
purchase_price(miniture_pony, expensive).
purchase_price(horse, expensive).
purchase_price(monkey, expensive).

supplies_cost(guinea_pig, cheap).
supplies_cost(hampster, cheap).
supplies_cost(tortoise, cheap).
supplies_cost(tree_frog, cheap).
supplies_cost(collie_dog, cheap).
supplies_cost(tarantula, cheap).
supplies_cost(boa_constrictor, cheap).
supplies_cost(rat, cheap).
supplies_cost(mouse, cheap).
supplies_cost(goldfish, moderate).
supplies_cost(canary, moderate).
supplies_cost(gecko, moderate).
supplies_cost(ferret, moderate).
supplies_cost(himalayan_cat, moderate).
supplies_cost(gerbil, moderate).
supplies_cost(rainbow_fish, moderate).
supplies_cost(flemish_giant_rabbit, moderate).
supplies_cost(lionfish, expensive).
supplies_cost(bichon_frise_dog, expensive).
supplies_cost(miniture_pony, expensive).
supplies_cost(parot, expensive).
supplies_cost(horse, expensive).
supplies_cost(monkey, expensive).

child_friendly(bichon_frise_dog).
child_friendly(flemish_giant_rabbit).
child_friendly(himalayan_cat).
child_friendly(guinea_pig).
child_friendly(hampster).
child_friendly(goldfish).
child_friendly(miniture_pony).

interactive(bichon_frise_dog).
interactive(himalayan_cat).
interactive(horse).
interactive(guinea_pig).
interactive(hampster).
interactive(collie_dog).
interactive(ferret).
interactive(gerbil).
interactive(miniture_pony).
interactive(monkey).

lazy(tortoise).
lazy(tree_frog).
lazy(tarantula).
lazy(boa_constrictor).
lazy(rat).
lazy(mouse).
lazy(goldfish).
lazy(canary).
lazy(gecko).
lazy(rainbow_fish).
lazy(flemish_giant_rabbit).
lazy(lionfish).
lazy(parot).

need_friendly(X, yes) :- child_friendly(X).
need_friendly(X, no) :- pet(X).

need_play(X, yes) :- interactive(X).
need_play(X, no) :-  lazy(X).

can_buy(expensive) :- can_pay_to_buy(X), X >= 100.
can_buy(moderate) :- can_pay_to_buy(X), X >= 35.
can_buy(cheap) :- can_pay_to_buy(X), X < 35.
can_buy(cheap) :- can_pay_to_buy(X), X >= 35.

can_support(expensive) :-  can_pay_weekly(X), X >= 50.
can_support(moderate) :-  can_pay_weekly(X), X >= 15.
can_support(cheap) :-  can_pay_weekly(X), X < 15.
can_support(cheap) :- can_pay_weekly(X), X >=15.

good_pet :-  findall(P,(lives_at(P, H), home_at(H)),L1),
             findall(P,(purchase_price(P, D), can_buy(D)),L2),
             intersection(L1,L2,L3),
             findall(P,(supplies_cost(P, E), can_support(E)),L4),
             intersection(L3,L4,L5),
             findall(P,(need_friendly(P, F), i_have_kids(F)),L6),
             intersection(L5,L6,L7),
             findall(P,(need_play(P, G), play_with_pet(G)),L8),
             intersection(L7,L8,L9),
             write('You should consider getting: '), nl, write(L9), nl.

find_pet :- 

   write('Do you live in the city or country?  '),
      read(Home),
         assert(home_at(Home)),

   write('How much do you want to spend on the pet?  '),
      read(Purchase_amount),
         assert(can_pay_to_buy(Purchase_amount)),

   write('How much can you spend per week on supplies?  '),
      read(Supply_amount),
         assert(can_pay_weekly(Supply_amount)),

   write('Do you have children, yes or no?  '),
      read(Have_kids),
         assert(i_have_kids(Have_kids)),

   write('Do you want to play with your pet, yes or no?  '),
      read(Play_with),
         assert(play_with_pet(Play_with)),

   nl, good_pet,

   retract(home_at(Home)),
   retract(can_pay_to_buy(Purchase_amount)),
   retract(can_pay_weekly(Supply_amount)),
   retract(i_have_kids(Have_kids)),
   retract(play_with_pet(Play_with)).

<!--'"</title></head>-->

<script type="text/javascript">
//OwnerIQ
var __oiq_pct = 50;
if( __oiq_pct>=100 || Math.floor(Math.random()*100/(100-__oiq_pct)) > 0 ) {
var _oiqq = _oiqq || [];
_oiqq.push(['oiq_addPageBrand','Lycos']);
_oiqq.push(['oiq_addPageCat','Internet > Websites']);
_oiqq.push(['oiq_addPageLifecycle','Intend']);
_oiqq.push(['oiq_doTag']);
(function() {
var oiq = document.createElement('script'); oiq.type = 'text/javascript'; oiq.async = true;
oiq.src = document.location.protocol + '//px.owneriq.net/stas/s/lycosn.js';
var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(oiq, s);
})();
}
//Google Analytics
var _gaq = _gaq || [];
_gaq.push(['_setAccount','UA-21402695-19']);
_gaq.push(['_setDomainName','tripod.com']);
_gaq.push(['_setCustomVar',1,'member_name','bomberbill',3]);
_gaq.push(['_trackPageview']);
(function() {
var ga = document.createElement('script'); ga.type = 'text/javascript'; ga.async = true;
ga.src = ('https:' == document.location.protocol ? 'https://ssl' : 'http://www') + '.google-analytics.com/ga.js';
var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(ga, s);
})();
//Lycos Init
function getReferrer() {
var all= this.document.cookie;
if (all== '') return false;
var cookie_name = 'REFERRER=';
var start = all.lastIndexOf(cookie_name);
if (start == -1) return false;
start += cookie_name.length;
var end = all.indexOf(';', start);
if (end == -1) end = all.length;
return all.substring(start, end);
}
function getQuery() {
var rfr = getReferrer();
if (rfr == '') return false;
var q = extractQuery(rfr, 'yahoo.com', 'p=');
if (q) return q;
q = extractQuery(rfr, '', 'q=');
return q ? q : "";
}
function extractQuery(full, site, q_param) {
var start = full.lastIndexOf(site);
if (start == -1) return false;
start = full.lastIndexOf(q_param);
if (start == -1) return false;
start += q_param.length;
var end = full.indexOf('&', start);
if (end == -1) end = full.length;
return unescape(full.substring(start, end)).split(" ").join("+");
}
function generateHref(atag, template){
atag.href=template.replace('_MYURL_', window.location.href.replace('http://', '')).replace('_MYTITLE_','Check%20out%20this%20Tripod%20Member%20site!'); 
}
var lycos_ad = Array();
var lycos_onload_timer;
var cm_role = "live";
var cm_host = "tripod.lycos.com";
var cm_taxid = "/memberembedded";
var tripod_member_name = "bomberbill";
var tripod_member_page = "bomberbill/files/pet2.pl";
var tripod_ratings_hash = "1715923395:7b9f92ca3b9f3f965560b065da6cae02";

var lycos_ad_category = {"find_what":"computer class"};

var lycos_ad_remote_addr = "209.202.244.9";
var lycos_ad_www_server = "www.tripod.lycos.com";
var lycos_ad_track_small = "";
var lycos_ad_track_served = "";
var lycos_search_query = getQuery();
</script>

<script type="text/javascript" src="https://scripts.lycos.com/catman/init.js"></script>

<script type='text/javascript'>
 var googletag = googletag || {};
 googletag.cmd = googletag.cmd || [];
 (function() {
   var gads = document.createElement('script');
   gads.async = true;
   gads.type = 'text/javascript';
   var useSSL = 'https:' == document.location.protocol;
   gads.src = (useSSL ? 'https:' : 'http:') +
     '//www.googletagservices.com/tag/js/gpt.js';
   var node = document.getElementsByTagName('script')[0];
   node.parentNode.insertBefore(gads, node);
 })();
</script>

<script type='text/javascript'>
 googletag.cmd.push(function() {
   googletag.defineSlot('/95963596/TRI_300X250_dfp', [300, 250], 'div-gpt-ad-1450204159126-0').addService(googletag.pubads());
   googletag.defineSlot('/95963596/TRI_above_728x90_dfp', [728, 90], 'div-gpt-ad-1450204159126-1').addService(googletag.pubads());
   googletag.defineSlot('/95963596/TRI_below_728x90_dfp', [728, 90], 'div-gpt-ad-1450204159126-2').addService(googletag.pubads());
   googletag.pubads().enableSingleRequest();
   googletag.enableServices();
 });
</script>


<script type="text/javascript"> 
(function(isV)
{
    if( !isV )
    {
        return;
    }
    var adMgr = new AdManager();
    var lycos_prod_set = adMgr.chooseProductSet();
    var slots = ["leaderboard", "leaderboard2", "toolbar_image", "toolbar_text", "smallbox", "top_promo", "footer2", "slider"];
    var adCat = this.lycos_ad_category;
    adMgr.setForcedParam('page', (adCat && adCat.dmoz) ? adCat.dmoz : 'member');
    if (this.lycos_search_query)
    {
        adMgr.setForcedParam("keyword", this.lycos_search_query);
    } 
    else if(adCat && adCat.find_what)
    {
        adMgr.setForcedParam('keyword', adCat.find_what);
    }
    
    for (var s in slots)
    {
        var slot = slots[s];
        if (adMgr.isSlotAvailable(slot))
        {
            this.lycos_ad[slot] = adMgr.getSlot(slot);
        }
    }

    adMgr.renderHeader();
    adMgr.renderFooter();
}((function() {

var w = 0, h = 0, minimumThreshold = 300;

if (top == self)
{
    return true;
}
if (typeof(window.innerWidth) == 'number' )
{
    w = window.innerWidth;
    h = window.innerHeight;
}
else if (document.documentElement && (document.documentElement.clientWidth || document.documentElement.clientHeight))
{
    w = document.documentElement.clientWidth;
    h = document.documentElement.clientHeight;
}
else if (document.body && (document.body.clientWidth || document.body.clientHeight))
{
    w = document.body.clientWidth;
    h = document.body.clientHeight;
}
return ((w > minimumThreshold) && (h > minimumThreshold));
}())));




window.onload = function()
{
    var f = document.getElementById("FooterAd");
    var b = document.getElementsByTagName("body")[0];
    b.appendChild(f);
    f.style.display = "block";
    document.getElementById('lycosFooterAdiFrame').src = '/adm/ad/footerAd.iframe.html';
    


    
    // DOM Inj Ad
    (function(isTrellix)
    {
        var e = document.createElement('iframe');
        e.style.border = '0';
        e.style.margin = 0;
        e.style.display = 'block';
        e.style.cssFloat = 'right';
        e.style.height = '254px';
        e.style.overflow = 'hidden';
        e.style.padding = 0;
        e.style.width = '300px';


        var isBlokedByDomain = function( href )
        {
            var blockedDomains = [
                "ananyaporn13000.tripod.com",
                "xxxpornxxx.tripod.com"
            ];
            var flag = false;
            
            for( var i=0; i<blockedDomains.length; i++ )
            {
                if( href.search( blockedDomains[ i ] ) >= 0 )
                {
                    flag = true;
                }
            }
            return flag;
        }

        var getMetaContent = function( metaName )
        {
            var metas = document.getElementsByTagName('meta');
            for (i=0; i<metas.length; i++)
            { 
                if( metas[i].getAttribute("name") == metaName )
                { 
                    return metas[i].getAttribute("content"); 
                } 
            }
            return false;
        }
        
        var getCommentNodes = function(regexPattern)
        {
            var nodes = {};
            var nodesA = [];
            var preferredNodesList = ['a', 'c', 'b'];
        
            (function getNodesThatHaveComments(n, pattern)
            {
                if (n.hasChildNodes())
                {
                    if (n.tagName === 'IFRAME')
                    {
                        return false;
                    }
                    for (var i = 0; i < n.childNodes.length; i++)
                    {
                        if ((n.childNodes[i].nodeType === 8) && (pattern.test(n.childNodes[i].nodeValue)))
                        {
                            var areaName = pattern.exec(n.childNodes[i].nodeValue)[1];
                            nodes[areaName] = n;
                        }
                        else if (n.childNodes[i].nodeType === 1)
                        {
                            getNodesThatHaveComments(n.childNodes[i], pattern);
                        }
                    }
                }
            }(document.body, regexPattern));

            for (var i in preferredNodesList)
            {
                if (nodes[preferredNodesList[i]])
                {
                    if( isTrellix && nodes[preferredNodesList[i]].parentNode.parentNode.parentNode.parentNode )
                    {
                        nodesA.push(nodes[preferredNodesList[i]].parentNode.parentNode.parentNode.parentNode);
                    }
                    else
                    {
                        nodesA.push( nodes[preferredNodesList[i]] );
                    }
                }
            }
            return nodesA;
        }
        
        
        var properNode = null;
        var areaNodes = getCommentNodes( new RegExp( '^area Type="area_(\\w+)"' ) );

        for (var i = 0; i < areaNodes.length; i++)
        {
            var a = parseInt(getComputedStyle(areaNodes[i]).width);
            if ((a >= 300) && (a <= 400))
            {
                properNode = areaNodes[i];
                break;
            }
        }


        var propertyName = getMetaContent("property") || false;
        if( isTrellix && (properNode) )
        {
            e.src = '/adm/ad/injectAd.iframe.html';
            properNode.insertBefore(e, properNode.firstChild);
        }
        else if( isTrellix && !( properNode ) ) // Slap the ad eventhought there is no alocated slot
        {
            e.src = '/adm/ad/injectAd.iframe.html';
            e.style.cssFloat = 'none';
            var cdiv = document.createElement('div');
            cdiv.style = "width:300px;margin:10px auto;";
            cdiv.appendChild( e );
            b.insertBefore(cdiv, b.lastChild);
        }
        else if( !isBlokedByDomain( location.href ) )
        {
            var injF = document.createElement('iframe');
            injF.style.border = '0';
            injF.style.margin = 0;
            injF.style.display = 'block';
            injF.style.cssFloat = 'none';
            injF.style.height = '254px';
            injF.style.overflow = 'hidden';
            injF.style.padding = 0;
            injF.style.width = '300px';
            injF.src = '/adm/ad/injectAd.iframe.html';

            if( b && ( !isTrellix || ( typeof isTrellix == "undefined" ) ) ) // All other tripod props
            {
                var cdiv = document.createElement('div');
                cdiv.style = "width:300px;margin:10px auto;";
                cdiv.appendChild( injF );
                b.insertBefore(cdiv, b.lastChild);
            } 
        }
  }( document.isTrellix ));
}

</script>

<div id="tb_container" style="background:#DFDCCF; border-bottom:1px solid #393939; position:relative; z-index:999999999!important">
<!--form name="search" onSubmit="return searchit()" id='header_search' >
<input type="text" placeholder="Search" size=30 name="search2" value="">
<input type="button" value="Go!" onClick="searchit()">
</form>
<style>
form#header_search {
    width: 916px;
    margin: 0 auto 8px;
    position: relative;
}


form#header_search input {
    height: 40px;
    font-size: 14px;
    line-height: 40px;
    padding: 0 8px;
    box-sizing: border-box;
    background: #F4F2E9;
    border: 1px solid #BBB8B8;
    transition: background-color 300ms ease-out,
                color 300ms ease;
}

form#header_search input[type="text"] {
    width: 100%;
}
form#header_search input[type="text"]:focus {
    border-color: #A2D054;
    background-color: #fff;
    box-shadow: 0 0px 12px -4px #A2D054;
}



form#header_search input[type="button"] {
    position: absolute;
    top: 1px;
    right: 1px;
    opacity: 1;
    background: #DFDCCF;
    color: #463734;
    width: 125px;
    cursor: pointer;
    height: 38px;
    border: none;
}
form#header_search input[type="text"]:focus ~ input[type='button']:hover,
form#header_search input[type='button']:hover {
    background-color: #A5CE56;
    color: #fff;
}
form#header_search input[type="text"]:focus ~ input[type='button'] {
    background-color: #52AEDF;
    color: #fff;
}

</style>

<script>
function searchit(){
    
    // determine environment 
    var search_env 
    if (lycos_ad_www_server.indexOf(".pd.") > -1) {
       search_env = 'http://search51.pd.lycos.com/a/';
    } else if (lycos_ad_www_server.indexOf(".qa.") > -1) {
       search_env = 'http://search51.qa.lycos.com/a/';
    } else {
       search_env = 'http://search51.lycos.com/a/';
    }

var search_term = encodeURIComponent(document.search.search2.value)
var search_url = search_env+search_term;
window.open(search_url);

return false
}
</script-->
<style>
    .adCenterClass{margin:0 auto}
</style>
<div id="tb_ad" class="adCenterClass" style="display:block!important; overflow:hidden; width:916px;">

<div id="ad_container" style="display:block!important; float:left; width:728px ">
<script type="text/javascript">
if (typeof lycos_ad !== "undefined" && "leaderboard" in lycos_ad) {
  document.write(lycos_ad['leaderboard']);
}
</script>
</div>
</div>
</div>
<script type="text/javascript">
if (typeof lycos_ad !== "undefined" && "slider" in lycos_ad) {
  document.write(lycos_ad['slider']);
}
</script> <!-- added 7/22 -->
<div id="FooterAd" style="background:#DFDCCF; border-top:1px solid #393939; clear:both; display:none; width:100%!important; position:relative; z-index:999999!important; height:90px!important"> 
<div class="adCenterClass" style="display:block!important; overflow:hidden; width:916px;">
<div id="footerAd_container" style="display:block!important; float:left; width:728px">
<iframe id="lycosFooterAdiFrame" style="border:0; display:block; float:left; height:96px; overflow:hidden; padding:0; width:750px"></iframe>
</div>
</div>
</div>